rna splicing mechanism